#include <types.h>
//
#include <stat.h>
//
#include <user.h>

int main(int argc, char *argv[]) {
	int i;

	for (i = 1; i < argc; i++)
		printf(1, "%s%s", argv[i], i + 1 < argc ? " " : "\n");
	exit();
}
